1. Infinitary logic : in memoriam Carol Karp
پدیدآورنده: a collection of papers by various authors; edited by D. W. Kueker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory
رده :
QA
3
.
L28
Vol
.
492
2. Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
پدیدآورنده: edited by D. W. Kueker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory,، Karp, Carol, 6291-2791
رده :
QA
1
.
L4
v
.
492
3. Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Karp, Carol,6291-2791,، Infinitary languages,، Model theory
رده :
QA
3
.
L28
no
.
492
4. Languages with expressions of infinite length
پدیدآورنده: Karp, Carol R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Infinitary languages,، Logic, Symbolic and mathematical
رده :
BC
135
.
K37
5. Large infinitary languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Infinitary languages. ; Model theory. ;
6. Large infinitary languages
پدیدآورنده: / M. A. Dickmann
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Infinitary languages.,Model theory.
رده :
QA
,
9
.
37
,.
D52
7. Large infinitary languages
پدیدآورنده: / [by] M.A. dickmann,Dickmann
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Infinitary languages
رده :
QA
9
.
37
.
D52
8. Large infinitary languages : model theory
پدیدآورنده : Dickmann, M A
موضوع : ، Infinitary languages,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
10. Model theory for infinitely deep languages /
پدیدآورنده: Maaret Karttunen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Infinitary languages.,Model theory.
رده :
QA1
.
S96
no
.
50
11. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
پدیدآورنده: / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Infinitary languages,Model theory
رده :
511
.
3
K27
12. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
13. The Syntax and semantics of infinitary languages
پدیدآورنده: edited by Jon Barwise
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Infinitary languages
رده :
QA
9
.
S95
1968
14. The Syntax and semantics of infinitary languages
پدیدآورنده: edited by Jon Barwise
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Infinitary languages
رده :
QA
3
.
L28
Vol
.
72
15. The Syntax and semantics of infinitary languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Infinitary languages
رده :
QA
3
.
L28
no
.
72
16. The syntax and semantics of infinitary languages
پدیدآورنده: edited by Jon Barwise
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Infinitary languages
رده :
QA
1
.
L4
v
.
72
17. The syntax and semantics of infinitary languages
پدیدآورنده: edited by Jon Barwise
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Infinitary languages
رده :
QA
3
.
L28
no
.
72
